how to convert float to int